Event Identier Logic
نویسندگان
چکیده
Mathematical Structures in Computer Science / Volume 24 / Issue 02 / April 2014 / e240204 DOI: 10.1017/S0960129513000510, Published online: 27 September 2013 Link to this article: http://journals.cambridge.org/abstract_S0960129513000510 How to cite this article: IAIN PHILLIPS and IREK ULIDOWSKI (2014). Event Identier Logic . Mathematical Structures in Computer Science, 24, e240204 doi:10.1017/S0960129513000510 Request Permissions : Click here
منابع مشابه
Fuzzy model for risk analysis
The goal of this paper is to show how the concept of fuzzy logic can be used to establish a degree to which an investment project belongs to a class of risk. Also, the probability of the fuzzy event is presented and is ap-plied to calculate the probability of the fuzzy event “the project X is a good investment”. This process has to enable the decision maker to compare several alternative invest...
متن کاملAdaptive and intelligent control of permanent magnet synchronous motor (PMSM) using a combination of fuzzy logic and gray wolf algorithm under fault condition
Nowadays, permanent magnet synchronous motors have been widely used in industry due to the elimination of excitation losses, longer life and higher efficiency. Errors in engine and drive systems are unavoidable during operation. Therefore, a suitable scenario should be considered for when these systems fail. If the necessary predictions and control algorithms are not considered for the error co...
متن کاملDistributed Online Learning of Event Definitions
Logic-based event recognition systems infer occurrences of events in time using a set of event definitions in the form of first-order rules. The Event Calculus is a temporal logic that has been used as a basis in event recognition applications, providing among others, direct connections to machine learning, via Inductive Logic Programming (ILP). OLED is a recently proposed ILP system that learn...
متن کاملA Logical Approach to Event Handling in Imperative Languages
While event handling is a key element in modern interactive programming, it is unfortunate that its theoretical foundation is rather weak. To solve this problem, we propose to adopt a game-logical approach of computability logic [2] to event handling. keywords: event handling, game semantics, interaction, computability logic.
متن کاملOn the Relationship of Event Order Logic and Linear Temporal Logic
In recent work [1, 2] we have proposed the event order logic (EOL) which is used to reason about the occurrence and order of events in formal system models. In this paper we will discuss the relationship of the event order logic and the linear temporal logic and further more show how EOL formulas can be translated into LTL formulas.
متن کامل